From: Daniel Kiper Date: Tue, 7 May 2013 11:51:41 +0000 (+0200) Subject: stubdom: Clean extras/mini-os directory during make clean X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~6886 X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https://%22%22/%22http:/www.example.com/cgi/%22https:/%22%22?a=commitdiff_plain;h=2bf87074e17e77ca761e3490e5f054175e082e5b;p=xen.git stubdom: Clean extras/mini-os directory during make clean Signed-off-by: Daniel Kiper Acked-by: Samuel Thibault --- diff --git a/stubdom/Makefile b/stubdom/Makefile index a2ac044833..91e2e1ae96 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -498,6 +498,7 @@ clean: rm -fr mini-os-$(XEN_TARGET_ARCH)-xenstore rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpm rm -fr mini-os-$(XEN_TARGET_ARCH)-vtpmmgr + $(MAKE) DESTDIR= -C $(MINI_OS) clean $(MAKE) DESTDIR= -C caml clean $(MAKE) DESTDIR= -C c clean $(MAKE) -C vtpm clean